Feeds to Scour
SubscribedAll
Scoured 11621 posts in 130.1 ms
Formally Verifying Peephole Optimisations in Lean
l-m.dev·5d·
Discuss: Hacker News
🔧Functional Programming
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.org·2d
📊Columnar Engines
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.net·3d·
Discuss: r/programming
🔧Functional Programming
Preview
Report Post
Static Allocation For Compilers
matklad.github.io·5d·
Discuss: Hacker News
🧠Memory Management
Preview
Report Post
WebCC: A C++ framework and toolchain that batches API calls to reduce WASM/JS overhead
reddit.com·16h·
Discuss: r/opensource
⚡DataFusion
Preview
Report Post
Brewing Cappuccino: Writing a compiler without LLVM's IR
dev.to·6d·
Discuss: DEV
🔧Functional Programming
Preview
Report Post
The Anti-Cloud AI Manifesto: Meet “Ratio,” the DSL That Runs Game-Grade Intelligence on a Laptop
hackernoon.com·3d
📊Columnar Engines
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.com·2d·
Discuss: Hacker News
🔧Functional Programming
Preview
Report Post
Qwen2 Technical Report
paperium.net·1d·
Discuss: DEV
📊Columnar Engines
Preview
Report Post
Show HN: I built the fastest AI app builder that I can find
vibes.higashi.blog·3d·
Discuss: Hacker News
📊Columnar Engines
Preview
Report Post
Building an Interpreter in Rust: A Journey Through Lexical Analysis, Parsing, and Evaluation
dev.to·6d·
Discuss: DEV
🔧Functional Programming
Preview
Report Post
Cheney on the M.T.A.
plover.com·2d
🛡️Memory Safety
Preview
Report Post
The history of Shen condensed in a few pages.
groups.google.com·5d·
Discuss: Hacker News
🔧Functional Programming
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·8h·
Discuss: Hacker News
⚡DataFusion
Preview
Report Post
Meeting Seed7
genodians.org·1d·
Discuss: Hacker News
🛡️Memory Safety
Preview
Report Post
LLM Inference Performance Benchmarking from Scratch
phillippe.siclait.com·4d·
Discuss: Hacker News
📋Tokei
Preview
Report Post
When compilers surprise you
xania.org·3d·
Discuss: Hacker News
🦀Rust Scientific
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.org·3d
📋Tokei
Preview
Report Post
When Documentation Fails: Brute-Force Specification Discovery with AI
github.com·4d·
Discuss: DEV
🌊Apache Flink
Preview
Report Post
Handling AI-Generated Code: Challenges & Best Practices • Roman Zhukov & Damian Brady • GOTO 2025
youtube.com·5d
🔍AI Detection
Preview
Report Post